Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | Kanada |
|---|---|
| Ort | Montreal |
| Universität/Institution | McGill University |
| Institut/Abteilung | School of Computer Science |
Profil
| Fachgebiet | Theoretische Informatik,Softwaretechnik und Programmiersprachen |
|---|---|
| Keywords | Dependent Types, Automated Reasoning, Type Systems, Logical Frameworks |